| Name | Version | Summary | date |
|---|---|---|---|
| model-checker | 1.0.1 | A hyperintensional theorem prover for developing and and exploring programmatic semantic theories. | 2025-09-12 05:49:06 |
| stlmc | 1.0.0.dev3 | An SMT-based bounded model checker for signal temporal logic | 2025-01-21 19:19:42 |
| hour | day | week | total |
|---|---|---|---|
| 71 | 1140 | 8242 | 321988 |